Mark Howard: Application Of A Resource Theory For Magic States To Fault-Tolerant Quantum Computing